KOMPILE_FLAGS=-w none --syntax-module TEST
include ../../../include/kframework/ktest-fail.mak
